Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
691	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2013-01-29 08:08:25 Data types Computing Pointing stick Subtype polymorphism Constraint programming Software engineering Type theory Object-oriented programming
692	Terrain English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2013-01-29 08:08:30 Class Computing Constraint programming Software engineering Mathematical optimization Constraint
693	Other land use English version – SOSI standard 4.0 Other land use Add to Reading List Source URL: kartverket.no Language: English - Date: 2013-01-29 08:08:19
694	Utility English version – SOSI standard 4.0 Utility English version – SOSI standard 4.0 Utility English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2013-01-29 08:08:32 Constraint programming ECO
695	Journal on Satisfiability, Boolean Modeling and Computation[removed] Reusing the Assignment Trail in CDCL Solvers system description Peter van der Tak Antonio Ramos Add to Reading List Source URL: jsat.ewi.tudelft.nl Language: English - Date: 2011-11-21 09:32:48 Theoretical computer science Computer file formats Mathematical optimization Constraint programming Assignment C++ classes MPS Variable Nl Software engineering Computing Operations research
696	A Hybrid ACO+CP for Balancing Bicycle Sharing Systems Luca Di Gaspero1 , Andrea Rendl2 , and Tommaso Urli1 1 Department of Electrical, Management and Mechanical Engineering, Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2014-09-12 00:58:22 Theoretical computer science Decomposition method Ant colony optimization algorithms Local consistency FO Routing Constraint programming Software engineering Computer programming
697	Between Restarts and Backjumps Antonio Ramos, Peter van der Tak, and Marijn Heule⋆ Department of Software Technology, Delft University of Technology, The Netherlands Abstract. This paper introduces a novel technique th Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-04-19 04:34:22 Theoretical computer science Applied mathematics Mathematics Backjumping Backtracking MPS Operations research Search algorithms Constraint programming
698	Dependable self-hosting distributed systems using constraints Qin Yin∗, Justin Cappos†, Andrew Baumann∗, Timothy Roscoe∗ ∗ Systems † Department Group, Department of Computer Science, ETH Zurich Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Computer programming Operations research Programming paradigms Mathematical optimization Constraint logic programming Logic programming ECLiPSe Linear programming PlanetLab Constraint programming Software engineering Declarative programming
699	Introduction The concept of constraint is central to a number of human activities. A constraint limits the field of possibilities in a certain universe. For example, a school timetable that coordinates students, teacher Add to Reading List Source URL: www.cril.univ-artois.fr Language: English - Date: 2010-01-18 08:33:23 Computing Local consistency Constraint satisfaction Constraint graph Constraint optimization Distributed constraint optimization Search algorithm Decomposition method Maths24 Constraint programming Software engineering Computer programming
700	Constraints Journal [Preprint] manuscript No. (will be inserted by the editor) Balancing Bike Sharing Systems with Constraint Programming Luca Di Gaspero · Andrea Rendl · Add to Reading List Source URL: www.tunnuz.net Language: English - Date: 2014-09-12 00:58:22 Network flow Applied mathematics FO Finite model theory Bicycle sharing system Flow network Theoretical computer science Constraint programming Software engineering

UPDATE